Congruences on bicyclic extensions of a linearly ordered group
نویسندگان
چکیده
منابع مشابه
On Regular Congruences of Ordered Semigroups
An ordered semigroup is a structure S = 〈S, ·,≤〉 with a binary operation · that is associative and a partial ordering ≤ that is compatible with the binary operation. For a given congruence relation θ of the semigroup S = 〈S, ·〉 the quotient structure S/θ = 〈S/θ, , 〉 is not in general an ordered semigroup. In this paper we study quotients of ordered semigroups. We first define a special type of ...
متن کاملLinearly Ordered Topological Spaces
This work is devoted to the study of certain cardinality modifications of paracompactness and compactness in the setting of linearly ordered spaces. Some of the concepts treated here have previously been studied by Aquaro [l]1, Gulden [4], Kennison [5], Mansfield [6], Morita [7], and Poppe [9]. On the other hand, the concept of m-boundedness, introduced in §2, is new. Our main results (Theorems...
متن کاملOn Programs with Linearly Ordered Multiple Preferences
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference relation on extended literals. This relation, a strict partial order, induces a partial order on extended answer sets. The preferred answer sets, i.e. those that are minimal w.r.t. the induced order, represent the solutio...
متن کاملOn extensions, linear extensions, upsets and downsets of ordered sets
We consider the problem of characterizing the set (P ) of all extensions of an order P on a set of elements E, where |E| = n, |P | = m and is the number of extensions of the order. Initially, we describe two distinct characterizations of (P ). The first characterization is a one-to-one correspondence between extensions of P and pairs of upsets and downsets of certain suborders of P . The second...
متن کاملA Note on Point-countability in Linearly Ordered Spaces
In this note linearly ordered topological spaces (abbreviated LOTS) with a point-countable base are examined. It is shown that a LOTS is quasi-developable if and only if it has a <r-point-finite base and a LOTS with a point-countable base is paracompact. An example of a LOTS with a point-countable base that does not have a <r-point-finite base is given. Conditions are given for the metrizabilit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta et Commentationes Universitatis Tartuensis de Mathematica
سال: 2011
ISSN: 2228-4699,1406-2283
DOI: 10.12697/acutm.2011.15.10